@InProceedings{dijkstramonad2013,
  author={Nikhil Swamy and Joel Weinberger and Cole Schlesinger and Juan Chen and Benjamin Livshits},
  title={Verifying Higher-order Programs with the Dijkstra Monad},
  MONTH = June,
  YEAR = 2013,
  BOOKTITLE = {In Proceedings of the ACM Conference on Programming Languages Design and Implementation (PLDI) 2013}
}